Program

last modified: 06 Nov 2021

All times are CET. The selector below allows you to display all times in your current timezone (estimated by your browser). Note that some regions will switch to standard time during the conference. This functionality is provided for your convenience, and we recommend that you double-check that the conversion is correct in your case.

Search titles and author lists

We 3 Th 4 Fr 5 Mo 8 Tu 9 We 10 Th 11 Fr 12 All

Monday, 8 Nov 2021

room A

2021-11-08T09:00:00+01:00 - 2021-11-08T09:30:00+01:00 09:00 - 09:30

Opening Session

chair: Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem

room A

2021-11-08T09:30:00+01:00 - 2021-11-08T10:30:00+01:00 09:30 - 10:30
Invited Talk:

Francesca Toni
The Interactionist View of Reasoning for Explainable AI

chair: Esra Erdem

in Gather enter 2021-11-08T10:30:00+01:00 - 2021-11-08T10:45:00+01:00 10:30 - 10:45

Break

room A

2021-11-08T10:45:00+01:00 - 2021-11-08T11:45:00+01:00 10:45 - 11:45

Planning

chair: Ron Petrick

long Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal BercherCorrecting Hierarchical Plans by Action Deletion details
long Lukas Chrpa, Martin Pilat and Jakub MedOn Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena details
long Dominik Drexler, Jendrik Seipp and Hector GeffnerExpressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches details
long Diego Aineto García, Sergio Jimenez Celorrio and Eva OnaindiaGeneralized Temporal Inference via Planning details

room B

2021-11-08T10:45:00+01:00 - 2021-11-08T11:45:00+01:00 10:45 - 11:45

Argumentation 1

chair: Johannes Wallner

long Leila Amgoud and Vivien BeuselinckEquivalence of Semantics in Argumentation details
long Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen,and Leendert van der TorreA Principle-based Analysis of Abstract Agent Argumentation Semantics details
long Ofer Arieli, Annemarie Borg and Christian StrasserCharacterizations and Classifications of Argumentative Entailments details
long Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge and Bart VerheijSemi-Stable Semantics for Abstract Dialectical Frameworks details

in Gather enter 2021-11-08T11:45:00+01:00 - 2021-11-08T12:15:00+01:00 11:45 - 12:15

Posters

in Gather enter 2021-11-08T15:30:00+01:00 - 2021-11-08T16:00:00+01:00 15:30 - 16:00
Informal discussion

Diego Calvanese: Experience with Ontopic

in Gather enter 2021-11-08T16:00:00+01:00 - 2021-11-08T16:15:00+01:00 16:00 - 16:15

Break

room A

2021-11-08T16:15:00+01:00 - 2021-11-08T17:15:00+01:00 16:15 - 17:15

Reasoning about Actions

chair: Yongmei Liu

long Best Student Paper Daxin Liu and Qihui FengOn the Progression of Belief details
long Giuseppe De Giacomo and Yves LespéranceThe Nondeterministic Situation Calculus details
long Jens Classen and James DelgrandeAn Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors details
short Lukas Chrpa, Wolfgang Faber and Michael MorakUniversal and Uniform Action Reversibility details
RPR Track abstract Yuliya Lierler and Craig OlsonInformation Extraction Tool Text2Alm: From Narratives to Action Language System Descriptions pdf

room B

2021-11-08T16:15:00+01:00 - 2021-11-08T17:15:00+01:00 16:15 - 17:15

KR Languages

chair: Franz Baader

long Igor SedlárDecidability and Complexity of Some Finitely-valued Dynamic Logics details
long Alexis de Colnet and Stefan MengelA Compilation of Succinctness Results for Arithmetic Circuits details
short Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis and Antonis TroumpoukisA Many-valued Logic for Lexicographic Preference Representation details
short Michael MorakSticky Existential Rules and Disjunction are Incompatible details
long Best Student Paper Joint Runner-up Timothy van Bremen and Ondřej KuželkaLifted Inference with Tree Axioms details